$\forall$$A$, $B$, $C$:Type. strong{-}subtype($A$;$B$) $\Rightarrow$ strong{-}subtype($B$;$C$) $\Rightarrow$ strong{-}subtype($A$;$C$)